Boker, Udi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A hypercomputational alien

Udi Boker, Nachum Dershowitz

Journal:

Applied Mathematics and Computation

Year:

2006

Language:

english

File:

PDF, 229 KB

english, 2006

2

The influence of domain interpretations on computational models

Udi Boker, Nachum Dershowitz

Journal:

Applied Mathematics and Computation

Year:

2009

Language:

english

File:

PDF, 688 KB

english, 2009

3

Abstract Effective Models

Udi Boker, Nachum Dershowitz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 193 KB

english, 2006

4

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Co-ing Büchi Made Tight and Useful

Boker, Udi, Kupferman, Orna

Year:

2009

Language:

english

File:

PDF, 292 KB

english, 2009

5

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Temporal Specifications with Accumulative Values

Boker, Udi, Chatterjee, Krishnendu, Henzinger, Thomas A., Kupferman, Orna

Year:

2011

Language:

english

File:

PDF, 330 KB

english, 2011

6

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Battery transition systems

Boker, Udi, Henzinger, Thomas A., Radhakrishna, Arjun

Year:

2014

Language:

english

File:

PDF, 704 KB

english, 2014

7

Temporal Specifications with Accumulative Values

Boker, Udi, Chatterjee, Krishnendu, Henzinger, Thomas A., Kupferman, Orna

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 532 KB

english, 2014

8

Translating to Co-Büchi Made Tight, Unified, and Useful

Boker, Udi, Kupferman, Orna

Journal:

ACM Transactions on Computational Logic

Year:

2012

Language:

english

File:

PDF, 361 KB

english, 2012

9

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - The Target Discounted-Sum Problem

Boker, Udi, Henzinger, Thomas A., Otop, Jan

Year:

2015

Language:

english

File:

PDF, 300 KB

english, 2015

10

Formally Reasoning About Quality

Almagor, Shaull, Boker, Udi, Kupferman, Orna

Journal:

Journal of the ACM

Year:

2016

Language:

english

File:

PDF, 636 KB

english, 2016

11

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Automaton-Based Criteria for Membership in CTL

Boker, Udi, Shaulian, Yariv

Year:

2018

Language:

english

File:

PDF, 708 KB

english, 2018

12

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Automaton-Based Criteria for Membership in CTL

Boker, Udi, Shaulian, Yariv

Year:

2018

File:

PDF, 708 KB

2018

13

What's decidable about weighted automata?

Almagor, Shaull, Boker, Udi, Kupferman, Orna

Journal:

Information and Computation

Year:

2020

File:

PDF, 771 KB

2020